#include <stdio.h>


int main (void)
{
    printf("1 is %d \n", 1);
}
